#include<stdio.h>

int main(){
    int count = 0;
    printf("%d %d %d",count++,count++,count++);

    return 0;
}